The use of the internet by older adults in Poland

Universal Access in the Information Society - It is generally accepted that it is young people who are particularly interested in information and communication technologies (ICT). Older adults...     

Tensile and Fatigue Analysis of 3D-Printed Polyethylene Terephthalate Glycol

Journal of Failure Analysis and Prevention - This paper investigates the tensile and fatigue behavior of polyethylene terephthalate glycol (PETG) parts manufactured by fused filament fabrication...     

Ockham’s index of citation impact

Scientometrics - We demonstrate that by using a triple of simple numerical summaries: an author’s productivity, their overall impact, and a single other bibliometric index that aims to...     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

The stiffness of laser stake welded T-joints in web-core sandwich structures

The purpose of this paper is to describe experiments carried out on laser stake welded T-joints of web-core steel sandwich structures. A special test setup was developed to measure the shear-induced rotation at the T-joint. The ratio of the shear force to rotation angle gave the joint stiffness. This stiffness was measured for specimens with two different face-plate thicknesses. The influence of weld thickness, root gap and occurrence of contact were further investigated with finite element simulations. Finally, the shear stiffness of the sandwich structure transverse to the web plate direction was determined using the experimentally obtained average joint stiffness value. The validation of the shear stiffness was carried out by considering a beam in four-point bending. The agreement between calculated deflection and stress and experimental results was found to be good.     

Zn(1-x)MnxTe diluted magnetic semiconductor nanowires grown by molecular beam epitaxy

It is shown that the growth of II-VI diluted magnetic semiconductor nanowires is possible by the catalytically enhanced molecular beam epitaxy (MBE). Zn(1-x)MnxTe NWs with manganese content up to x=0.60 were produced by this method. X-ray diffraction, Raman spectroscopy, and temperature dependent photoluminescence measurements confirm the incorporation of Mn(2+) ions in the cation substitutional sites of the ZnTe matrix of the NWs.